The Listings Package Copyright 1996–2004, Carsten Heinz Copyright 2006–2007, Brooks Moses Copyright 2013–, Jobst Hoffmann Maintainer: Jobst Hoffmann∗ Version 1.5e

Source URL: texdoc.net

• Computing
• Software
• Computer programming
• Programming languages
• Source code
• Procedural programming languages
• TeX
• Digital typography
• LaTeX
• Literate programming
• Pascal
• Comment

Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540

Source URL: www.cs.princeton.edu

• Model theory
• Formal languages
• Mathematical logic
• Structure
• Universal algebra
• Interpretation
• Relational algebra
• Substitution

CMSC 611: Advanced Computer Architecture Design Languages Practically everything adapted from slides by Peter J. Ashenden, VHDL Quick Start Some material adapted from Mohamed Younis, UMBC CMSC 611 Spr 2003 course slides

Source URL: www.csee.umbc.edu

Automatic Communication Performance Debugging in PGAS Languages Jimmy Su1 and Katherine Yelick1,2 1 Computer Science Division, University of California at Berkeley

Source URL: titanium.cs.berkeley.edu

• Parallel computing
• Concurrent computing
• Pointer
• Debugging
• Thread
• Supercomputer
• Multi-core processor

CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10)

Source URL: www.program-transformation.org

• Computing
• Software engineering
• Computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• Domain-specific language
• Actor model

The Birth of Object Orientation: the Simula Languages⋆ Ole-Johan Dahl Dept. of Informatics, University of Oslo, Norway Abstract. The development of the programming languages Simula I and Simula 67 is briefly described.

Source URL: www.olejohandahl.info

• Software engineering
• Computer programming
• Programming language theory
• Procedural programming languages
• Object-oriented programming languages
• Turing Award laureates
• Simula
• Ole-Johan Dahl
• Programming paradigms
• Object-oriented programming
• ALGOL
• Kristen Nygaard

Efficient, correct, unsupervised learning of context-sensitive languages Alexander Clark Department of Computer Science Royal Holloway, University of London

Source URL: www.cs.rhul.ac.uk

Intermediate Perl Day 2 Dave Cross Magnum Solutions Ltd

Source URL: learnperl.co.uk

• Software engineering
• Computer programming
• Computing
• Object-oriented programming
• Perl
• Cross-platform software
• Scripting languages
• Perl module
• This
• Self
• Dave Cross
• Physical body

Research Overview Distributed Computing Generally speaking, we are interested in both theory and practice of computer science and information technology. In our group we cultivate a large breadth of areas, reflecting ou

Source URL: www.disco.ethz.ch

• Computing
• Wireless sensor network
• Computer science
• Distributed computing
• Symposium on Principles of Distributed Computing
• Conference on Embedded Networked Sensor Systems
• International Conference on Information Processing in Sensor Networks
• Symposium on Foundations of Computer Science
• Symposium on Theory of Computing
• International Colloquium on Automata
• Languages and Programming
• ACM SIGACT
• Dijkstra Prize

Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team

Source URL: www.opengda.org

• Software engineering
• Computer programming
• Computing
• Concurrent programming languages
• Object-oriented programming languages
• Cross-platform software
• Java
• Iterator
• Foreach loop